During much of the past century, it was widely believed that phonemes--the human speech sounds that constitute words--have no inherent semantic meaning, and that the relationship between a combination of phonemes (a word) and its referent is simply arbitrary. Although recent work has challenged this picture by revealing psychological associations between certain phonemes and particular semantic contents, the precise mechanisms underlying these associations have not been fully elucidated. Here we provide novel evidence that certain phonemes have an inherent, non-arbitrary emotional (...) quality. Moreover, we show that the perceived emotional valence of certain phoneme combinations depends on a specific acoustic feature--namely, the dynamic shift within the phonemes' first two frequency components. These data suggest a phoneme-relevant acoustic property influencing the communication of emotion in humans, and provide further evidence against previously held assumptions regarding the structure of human language. This finding has potential applications for a variety of social, educational, clinical, and marketing contexts. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...) that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of protein (...) research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)

In this paper we prove the completeness of three logical systems I LI, IL2 and IL3. IL1 deals solely with identities {a = b), and its deductions are the direct deductions constructed with the three traditional rules: (T) from a = b and b = c infer a = c, (S) from a = b infer b = a and (A) infer a = a(from anything). IL2 deals solely with identities and inidentities {a ± b) and its deductions include both (...) the direct and the indirect deductions constructed with the three traditional rules. IL3 is a hybrid of IL1 and IL2: its deductions are all direct as in IL1 but it deals with identities and inidentities as in IL2. IL1 and IL2 have a high degree of naturalness. Although the hybrid system IL3 was constructed as an artifact useful in the mathematical study of IL1 and IL2, it nevertheless has some intrinsically interesting aspects. The main motivation for describing and studying such simple systems is pedagogical. In teaching beginning logic one would like to present a system of logic which has the following properties. First, it exemplifies the main ideas of logic: implication, deduction, non-implication, counterargument(or countermodel), logical truth, self-contradiction, consistency,satisfiability, etc. Second, it exemplifies the usual general metaprinciples of logic: contraposition and transitivity of implication, cut laws, completeness,soundness, etc. Third, it is simple enough to be thoroughly grasped by beginners. Fourth, it is obvious enough so that its rules do not appear to be arbitrary or purely conventional. Fifth, it does not invite confusions which must be unlearned later. Sixth, it involves a minimum of presuppositions which are no longer accepted in mainstream contemporary logic. (shrink)

C. I. Lewis (I883-I964) was the first major figure in history and philosophy of logic—-a field that has come to be recognized as a separate specialty after years of work by Ivor Grattan-Guinness and others (Dawson 2003, 257).Lewis was among the earliest to accept the challenges offered by this field; he was the first who had the philosophical and mathematical talent, the philosophical, logical, and historical background, and the patience and dedication to objectivity needed to excel. He was blessed with (...) many fortunate circumstances, not least of which was entering the field when mathematical logic, after only six decades of toil, had just reaped one of its most important harvests with publication of the monumental Principia Mathematica. It was a time of joyful optimism which demanded an historical account and a sober philosophical critique. Lewis was one of the first to apply to mathematical logic the Aristotelian dictum that we do not understand a living institution until we see it growing from its birth. (shrink)

Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and (...) by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyse validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which knowledge of these relations are achieved. This paper is (...) better thought of as an early stage of a dialogue than as a definitive treatise. (shrink)

It is widely agreed by philosophers that the so-called “Frege-Russell definition of natural number” is actually an assertion concerning the nature of the numbers and that it cannot be regarded as a definition in the ordinary mathematical sense. On the basis of the reasoning in this paper it is clear that the Frege-Russell definition contradicts the following three principles (taken together): (1) each number is the same entity in each possible world, (2) each number exists in each possible world, (3) (...) some entities existing in the actual world do not exist in every possible world. Since these principles seem to be true, the paper is a refutation of the Frege-Russell definition. The paper does more. It shows that the contradictory of the Frege-Russell definition follows even when principles 2 and 3 are replaced by one considerably weaker principle. The ideas contained in the paper are related to two earlier objections to the definition. The first, sometimes attributed to the mathematician, C. S. Keyser, is that existence of the numbers as defined implies the existence of infinitely many particulars in each possible world. The second is, in effect, an idea which is said to have led Whitehead to reject the definition of number to which he had subscribed in Principia Mathematica. Whitehead is supposed to have said that he could not believe that the number two changes every “time twins are born”. The mathematician H. Jeffreys expressed similar ideas [Philos. of Sci. 5 (1938), 434–451]. One of the merits of the author’s work is that it refutes the Frege-Russell definition without the need to take sides on controversial points presupposed by the Keyser and Whitehead objections. The objections made by the author are therefore not to be identified with the Keyser and Whitehead objections. Even if the author’s work is to be regarded as a refinement and integration of previous ideas, it is nevertheless a contribution—not only because the basic points are well worth repeating but also because the refinements are logically significant improvements and because the author has stated them clearly and concisely in the idiom of contemporary philosophy. (shrink)

Peter H. Hare (1935-2008) developed informed, original views about the proposition: some published (Hare 1969 and Hare-Madden 1975); some expressed in conversations at scores of meetings of the Buffalo Logic Colloquium and at dinners following. The published views were expository and critical responses to publications by Curt J. Ducasse (1881-1969), a well-known presence in American logic, a founder of the Association for Symbolic Logic and its President for one term.1Hare was already prominent in the University of Buffalo's Philosophy Department in (...) 1969 when I was appointed. Soon after, he became Chair. As his Associate Chair from 1971to 1975, I spent many hours with him in Buffalo and on professional trips .. (shrink)

Corcoran, J. 2007. Syntactics, American Philosophy: an Encyclopedia. 2007. Eds. John Lachs and Robert Talisse. New York: Routledge. pp.745-6. -/- Syntactics, semantics, and pragmatics are the three levels of investigation into semiotics, or the comprehensive study of systems of communication, as described in 1938 by the American philosopher Charles Morris (1903-1979). Syntactics studies signs themselves and their interrelations in abstraction from their meanings and from their uses and users. Semantics studies signs in relation to their meanings, but still in (...) abstraction from their uses and users. Pragmatics studies signs as meaningful entities used in various ways by humans. Taking current written English as the system of communication under investigation, it is a matter of syntactics that the two four-character strings ‘tact’ and ‘tics’ both occur in the ten-character string ‘syntactics’. It is a matter of semantics that the ten-character string ‘syntactics’ has only one sense and, in that sense, it denotes a branch of semiotics. It is a matter of pragmatics that the ten-character string ‘syntactics’ was not used as an English word before 1937 and that it is sometimes confused with the much older six-character string ‘syntax’. Syntactics is the simplest and most abstract branch of semiotics. At the same time, it is the most basic. Pragmatics presupposes semantics and syntactics; semantics presupposes syntactics. The basic terms of syntactics include the following: ‘character’ as alphabetic letters, numeric digits, and punctuation marks; ‘string’ as sign composed of a concatenation of characters; ‘occur’ as ‘t’ and ‘c’ both occur twice in ‘syntactics’. However, perhaps the most basic terms of syntactics are ‘type’ and ‘token’ in the senses introduced by Charles Sanders Peirce (1839-1914), America’s greatest logician, who could be considered the grandfather of syntactics, if not the father. These are explained below. (shrink)

The premise-fact confusion in Aristotle’s PRIOR ANALYTICS. -/- The premise-fact fallacy is talking about premises when the facts are what matters or talking about facts when the premises are what matters. It is not useful to put too fine a point on this pencil. -/- In one form it is thinking that the truth-values of premises are relevant to what their consequences in fact are, or relevant to determining what their consequences are. Thus, e.g., someone commits the premise-fact fallacy if (...) they think that a proposition has different consequences were it true than it would have if false. C. I. Lewis said that confusing logical consequence with material consequence leads to this fallacy. See Corcoran’s 1973 “Meanings of implication” [available on Academia. edu]. -/- The premise-fact confusion occurs in a written passage that implies the premise-fact fallacy or that suggests that the writer isn’t clear about the issues involved in the premise-fact fallacy. Here are some examples. -/- E1: If Abe is Ben and Ben swims, then it would follow that Abe swims. -/- Comment: The truth is that from “Abe is Ben and Ben swims”, the proposition “Abe swims” follows. Whether in fact Abe is Ben and Ben swims is irrelevant to whether “Abe swims” follows from “Abe is Ben and Ben swims”. -/- E1 suggests that maybe “Abe swims” wouldn’t follow from “Abe is Ben and Ben swims” if the latter were false. -/- E2: The truth of “Abe is Ben and Ben swims” implies that Abe swims. -/- E3: Indirect deduction requires assuming something false. -/- Comment: If the premises of an indirect deduction are true the conclusion is true and thus the “reductio” assumption is false. But deduction, whether direct or indirect, does not require true premises. In fact, indirect deduction is often used to determine that the premises are not all true. -/- Anyway, the one-page paper accompanying this abstract reports one of dozens of premise-fact errors in PRIOR ANALYTICS. In the session, people can add their own examples and comment on them. For example, is the one at 25b32 the first? What is the next premise-fact error after 25b32? Which translators or commentators discuss this? -/- . (shrink)

We discuss misinformation about “the liar antinomy” with special reference to Tarski’s 1933 truth-definition paper [1]. Lies are speech-acts, not merely sentences or propositions. Roughly, lies are statements of propositions not believed by their speakers. Speakers who state their false beliefs are often not lying. And speakers who state true propositions that they don’t believe are often lying—regardless of whether the non-belief is disbelief. Persons who state propositions on which they have no opinion are lying as much as those who (...) state propositions they believe to be false. Not all lies are statements of false propositions—some lies are true; some have no truth-value. People who only occasionally lie are not liars: roughly, liars repeatedly and habitually lie. Some half-truths are statements intended to mislead even though the speakers “interpret” the sentences used as expressing true propositions. Others are statements of propositions believed by the speakers to be questionable but without revealing their supposed problematic nature. The two “formulations” of “the antinomy of the liar” in [1], pp.157–8 and 161–2, have nothing to do with lying or liars. The first focuses on an “expression” Tarski calls ‘c’, namely the following. -/- c is not a true sentence -/- The second focuses on another “expression”, also called ‘c’, namely the following. -/- for all p, if c is identical with the sentence ‘p’, then not p -/- Without argumentation or even discussion, Tarski implies that these strange “expressions” are English sentences. [1] Alfred Tarski, The concept of truth in formalized languages, pp. 152–278, Logic, Semantics, Metamathematics, papers from 1923 to 1938, ed. John Corcoran, Hackett, Indianapolis 1983. -/- https://www.academia.edu/12525833/Sentence_Proposition_Judgment_Statement_and_Fact_Speaking_about_th e_Written_English_Used_in_Logic. (shrink)

This elementary 4-page paper is a preliminary survey of some of the most important uses of ‘condition’ and ‘consequence’ in American Philosophy. A more comprehensive treatment is being written. Your suggestions, questions, and objections are welcome. A statement of a conditional need not be a conditional statement and conditional statement need not be a statement of a conditional.

Logical pluralism is the view that there is more than one logic. Logical normativism is the view that logic is normative. These positions have often been assumed to go hand-in-hand, but we show that one can be a logical pluralist without being a logical normativist. We begin by arguing directly against logical normativism. Then we reformulate one popular version of pluralism—due to Beall and Restall—to avoid a normativist commitment. We give three non-normativist pluralist views, the most promising of which depends (...) not on logic’s normativity but on epistemic goals. (shrink)

An influential way of distinguishing inferential from non-inferential processes appeals to representational states: an agent infers a conclusion from some premises only if she represents those premises as supporting that conclusion. By contrast, when some premises merely cause an agent to believe the conclusion, there is no relevant representational state. While promising, the appeal to representational states invites a regress problem, first famously articulated by Lewis Carroll. This paper develops a novel account of inference that invokes representational states without succumbing (...) to regress. The key move is to reject the tempting idea that the relevant representational states are causally prior to inferences. I argue, instead, that an inference constitutes the relevant representational state. To infer is thus—in the very drawing of the conclusion—to represent the premises as supporting the conclusion, and thereby to commit to that support relation. (shrink)

Logical pluralism is the view that there is more than one correct logic. A key objection to logical pluralism is that it collapses into monism. The core of the Collapse Objection is that only the pluralist’s strongest logic does any genuine normative work; since a logic must do genuine normative work, this means that the pluralist is really a monist, who is committed to her strongest logic being the one true logic. This paper considers a neglected question in the collapse (...) debate: what is it for a logic to do genuine normative work? As well as having wider upshot for the connection between logic and normativity, grappling with this question provides a new response to the Collapse Objection on behalf of the pluralist. I suggest that we should allow logics to generate pro tanto reasons in a way that bears not just on combinations of attitudes but on how an agent’s attitudes are based on one another. This motivates adopting normative principles that allow the pluralist’s weaker logics to earn their normative keep. Rather than being ad hoc, these principles capture a sense in which good reasoning goes beyond the consistency of an agent’s attitudes. Good reasoning is also concerned with how an agent’s attitudes are based on one another. (shrink)

Doxastic involuntarists have paid insufficient attention to two debates in contemporary epistemology: the permissivism debate and the debate over norms of assertion and belief. In combination, these debates highlight a conception of belief on which, if you find yourself in what I will call an ‘equipollent case’ with respect to some proposition p, there will be no reason why you can’t believe p at will. While doxastic involuntarism is virtually epistemological orthodoxy, nothing in the entire stock of objections to belief (...) at will blocks this route to doxastic voluntarism. Against the backdrop of the permissivism debate and the literature on norms of belief and assertion, doxastic involuntarism emerges as an article of faith, not the obvious truth it’s usually purported to be. (shrink)

Does knowledge depend in any interesting way on our practical interests? This is the central question in the pragmatic encroachment debate. Pragmatists defend the affirmative answer to this question while purists defend the negative answer. The literature contains two kinds of arguments for pragmatism: principle-based arguments and case-based arguments. Principle-based arguments derive pragmatism from principles that connect knowledge to practical interests. Case-based arguments rely on intuitions about cases that differ with respect to practical interests. I argue that there are insurmountable (...) problems for both kinds of arguments, and that it is therefore unclear what motivates pragmatism. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

Purists think that changes in our practical interests can’t affect what we know unless those changes are truth-relevant with respect to the propositions in question. Impurists disagree. They think changes in our practical interests can affect what we know even if those changes aren’t truth-relevant with respect to the propositions in question. I argue that impurists are right, but for the wrong reasons, since they haven’t appreciated the best argument for their own view. Together with “Minimalism and the Limits of (...) Warranted Assertability Maneuvers,” “The Pragmatic Encroachment Debate,” and “Anti-Intellectualism” (below), this paper constitutes my attempt to refute the entire pragmatic encroachment debate. As I show in this paper, there is an argument for impurism sitting in plain sight that is considerably more plausible than any extant argument for pragmatism. (shrink)

Intellectualists disagree with anti-intellectualists about the relationship between knowledge and truth. According to intellectualists, this relationship is intimate. Knowledge entails true belief, and in fact everything required for knowledge is somehow relevant to the probability that the belief in question is true. According to anti-intellectualists, this relationship isn’t intimate. Or, at least, it’s not as intimate as intellectualists think. Factors that aren’t in any way relevant to the probability that a belief is true can make a difference to whether it (...) counts as knowledge. In this paper, I give a new argument for anti-intellectualism and draw out consequences of this argument for the pragmatic encroachment debate. The standard purist objection to pragmatism is that pragmatism entails anti-intellectualism. As I show, anti-intellectualism follows from premises that are plausible even if purism is true, so the standard purist objection to pragmatism fails. (shrink)

This is a theoretical treatment of the term "Sha Zhu Pan" (杀猪盘) in Chinese, which translates to “Pig-Butchering” in English. The article critically examines the propagation and validation of "Pig Butchering," an animal metaphor, and its implications for the dehumanisation of victims of online fraud across various discourses. The study provides background information about this type of fraud before investigating its theoretical foundations and linking its emergence to the dehumanisation of fraud victims. The analysis highlights the disparity between academic literature, (...) subjected to rigorous peer-review processes, and sensationalised narratives prevalent in the media. While academic works subject "pig butchering" to critical scrutiny and refrain from endorsing derogatory terms to depict fraud victims, numerous media outlets employ this term uncritically, further worsening the predicament of these victims. "Pig butchering" is firmly rooted in the concept of dehumanisation, and this article underscores how language moulds perceptions of fraud and behaviour, extending to the development of preventive strategies. The role of law enforcement agencies in generating and disseminating materials is also a central theme, emphasising their responsibility as trusted sources of information. We suggest that these agencies should adopt non-victim shaming language to encourage victims to report crimes and alleviate the stigma attached to victimisation. Additionally, the article offers valuable cross-cultural insights by comparing metaphors from Chinese and Nigerian contexts. This comparative analysis enriches our comprehension of the global dimensions of online fraud and its cultural diversities, highlighting the substantial impact of language on perceptions and behaviours. We advocate for a departure from victim-blaming tendencies perpetuated by select media outlets, urging a more compassionate and accurate portrayal of those affected by online fraud. We, therefore, call for a more empathetic and accurate portrayal of individuals affected by online fraud, aligning with the broader objective of promoting understanding and support for these victims. (shrink)

Alvin Plantinga theorizes the existence of a sensus divinitatis – a special cognitive faulty or mechanism dedicated to the production and non-inferential justification of theistic belief. Following Chris Tucker, we offer an evidentialist-friendly model of the sensus divinitatis whereon it produces theistic seemings that non-inferentially justify theistic belief. We suggest that the sensus divinitatis produces these seemings by tacitly grasping support relations between the content of ordinary experiences (in conjunction with our background evidence) and propositions about God. Our model offers (...) advantages such as eliminating the need for a sui generis religious faculty, harmonizing the sensus divinitatis with prominent theories in the cognitive science of religion, and providing a superior account of natural revelation. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

The epistemic value of seemings is increasingly debated. Such debates are hindered, however, by a lack of consensus about the nature of seemings. There are four prominent conceptions in the literature, and the plausibility of principles such as phenomenal conservatism, which assign a prominent epistemic role to seemings, varies greatly from one conception to another. It is therefore crucial that we identify the correct conception of seemings. I argue that seemings are best understood as sui generis mental states with propositional (...) content and a distinct phenomenal character. Rival conceptions are shown to succumb to numerous difficulties. (shrink)

Is knowledge consistent with literally any credence in the relevant proposition, including credence 0? Of course not. But is credence 0 the only credence in p that entails that you don’t know that p? Knowledge entails belief (most epistemologists think), and it’s impossible to believe that p while having credence 0 in p. Is it true that, for every value of ‘x,’ if it’s impossible to know that p while having credence x in p, this is simply because it’s impossible (...) to believe that p while having credence x in p? If so, is it possible to believe that p while having (say) credence 0.4 in p? These questions aren’t standard epistemological fare, at least in part because many epistemologists think their answers are obvious, but they have unanticipated consequences for epistemology. Let ‘improbabilism’ name the thesis that it’s possible to know that p while having a credence in p below 0.5. Improbabilism will strike many epistemologists as absurd, but careful reflection on these questions reveals that, if improbabilism is false, then all of the most plausible theories of knowledge are also false. Or so I argue in this paper. Since improbabilism is widely rejected by epistemologists (at least implicitly), this paper reveals a tension between all of the most plausible theories of knowledge and a widespread assumption in epistemology. (shrink)

In “Reasons to Believe and Reasons to Act,” Stewart Cohen argues that balance of reasons accounts of rational action get the wrong results when applied to doxastic attitudes, and that there are therefore important differences between reasons to believe and reasons to act. In this paper, I argue that balance of reasons accounts of rational action get the right results when applied to the cases that Cohen considers, and that these results highlight interesting similarities between reasons to believe and reasons (...) to act. I also consider an argument for Cohen's conclusion based on the principle that Adler, Moran, Shah, Velleman and others call “transparency.” I resist this argument by explaining why transparency is itself doubtful. (shrink)

The epistemic value of seemings is increasingly debated. Such debates are hindered, however, by a lack of consensus about the nature of seemings. There are four prominent conceptions in the literature, and the plausibility of principles such as phenomenal conservatism, which assign a prominent epistemic role to seemings, varies greatly from one conception to another. It is therefore crucial that we identify the correct conception of seemings. I argue that seemings are best understood as sui generis mental states with propositional (...) content and a distinct phenomenal character. Rival conceptions are shown to succumb to numerous difficulties. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

Early moderns such as Locke and Descartes thought we could guarantee the justification of our beliefs, even in worlds most hostile to their truth, if only we form those beliefs with sufficient care. That is, they thought it possible for us to be impeccable with respect to justification. This principle has traditionally been used to argue for internalism. By placing all of the normatively relevant conditions in our minds, we ensure reflective access to what those norms require of us and (...) so sustain the possibility of impeccability (unlike externalism). However, recent challenges to transparency leave this reasoning vulnerable. In response, I show how impeccability can be sustained without requiring transparency. The account only works if we define internal states as those directly accessible to our rational belief forming systems. I argue that this sort of causal internalism, while somewhat revisionary, preserves traditional motivations for internalism while avoiding problems faced by other varieties. The result is a renewed argument for internalism that simultaneously moves us away from access internalism and towards a species of mentalism. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

A number of philosophers, going back at least to Kierkegaard, argue that to have faith in something is, in part, to have a passion for that thing—to possess a lasting, formative disposition to feel certain positive patterns of emotion towards the object of faith. I propose that (at least some of) the intellectual dimensions of faith can be modeled in much the same way. Having faith in a person involves taking a certain perspective towards the object of faith—in possessing a (...) lasting, formative disposition for things to seem as though the object of faith is worthy of one’s trust. After developing the view, I briefly discuss its epistemic implications. I suggest that, by systematically reorienting how one experiences the world, faith can actually change one’s total body of evidence (or perhaps even how one weighs that evidence), thereby altering what one is justified in believing about the object of faith. (shrink)

Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology. (shrink)

Contextualists and pragmatists agree that knowledge-denying sentences are contextually variable, in the sense that a knowledge-denying sentence might semantically express a false proposition in one context and a true proposition in another context, without any change in the properties traditionally viewed as necessary for knowledge. Minimalists deny both pragmatism and contextualism, and maintain that knowledge-denying sentences are not contextually variable. To defend their view from cases like DeRose and Stanley's high stakes bank case, minimalists like Patrick Rysiew, Jessica Brown, and (...) Wayne Davis forward ‘warranted assertability maneuvers.’ The basic idea is that some knowledge-denying sentence seems contextually variable because we mistake what a speaker pragmatically conveys by uttering that sentence for what she literally says by uttering that sentence. In this paper, I raise problems for the warranted assertability maneuvers of Rysiew, Brown, and Davis, and then present a warranted assertability maneuver that should succeed if any warranted assertability maneuver will succeed. I then show how my warranted assertability maneuver fails, and how the problem with my warranted assertability maneuver generalizes to pragmatic responses in general. The upshot of my argument is that, in order to defend their view from cases like DeRose and Stanley's high stakes bank case, minimalists must prioritize the epistemological question whether the subjects in those cases know over linguistic questions about the pragmatics of various knowledge-denying sentences. (shrink)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...) by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

Games may seem like a waste of time, where we struggle under artificial rules for arbitrary goals. The author suggests that the rules and goals of games are not arbitrary at all. They are a way of specifying particular modes of agency. This is what make games a distinctive art form. Game designers designate goals and abilities for the player; they shape the agential skeleton which the player will inhabit during the game. Game designers work in the medium of agency. (...) Game-playing, then, illuminates a distinctive human capacity. We can take on ends temporarily for the sake of the experience of pursuing them. Game play shows that our agency is significantly more modular and more fluid than we might have thought. It also demonstrates our capacity to take on an inverted motivational structure. Sometimes we can take on an end for the sake of the activity of pursuing that end. (shrink)

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...) attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

I argue that some of the most prominent interpretations of Reid's response to skepticism marginalize a crucial aspect of his thought: namely, that our common sense beliefs meet whatever normative standards of rationality the skeptic might fairly demand of them. This should be seen as supplementary to reliabilist or proper functionalist interpretations of Reid, which often ignore this half of the story. I also show how Reid defends the rationality of believing first principles by appealing to their naturalness and irresistibility. (...) The resulting interpretation supplies Reid with a more satisfying and formidable response to the skeptic than interpretations currently offer. (shrink)

ABSTRACT Katherine Dormandy argues that there is no partiality in virtuous faith. Partiality biases and leads to noetic entrenchment. In response, I contend there is an important sense in which virtuous faith is partial towards its object. Namely, it disposes one to perceive the object as more trustworthy and to rely on this partialist evidence in forming beliefs, even when the impartialist evidence points in the other direction. There are, after all, situations in which impartialist evidence is apt to mislead (...) or to fail to bring one to the truth. In such cases, faith attunes one to the subject’s true motivations and intentions. Here the partiality of faith constitutes a kind of social acuity or expertise, not a bias. Indeed, to lack faith in such situations—and to give impartialist evidence equal weight with the partial—might constitute a kind of bias against the subject, casting his or her actions in an overly negative light. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

There seems to be a deep tension between two aspects of aesthetic appreciation. On the one hand, we care about getting things right. On the other hand, we demand autonomy. We want appreciators to arrive at their aesthetic judgments through their own cognitive efforts, rather than deferring to experts. These two demands seem to be in tension; after all, if we want to get the right judgments, we should defer to the judgments of experts. The best explanation, I suggest, is (...) that aesthetic appreciation is something like a game. When we play a game, we try to win. But often, winning isn’t the point; playing is. Aesthetic appreciation involves the same flipped motivational structure: we aim at the goal of correctness, but having correct judgments isn’t the point. The point is the engaged process of interpreting, investigating, and exploring the aesthetic object. Deferring to aesthetic testimony, then, makes the same mistake as looking up the answer to a puzzle, rather than solving it for oneself. The shortcut defeats the whole point. This suggests a new account of aesthetic value: the engagement account. The primary value of the activity of aesthetic appreciation lies in the process of trying to generate correct judgments, and not in having correct judgments. -/- *There is an audio version available: look for the Soundcloud link, below.*. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

I defend two collapsing or reductionist arguments against Weak Pro-Natalism (WPN), the view that procreation is generally merely permissible. In particular, I argue that WPN collapses into Strong Pro-Natalism (SPN), the view that procreation is generally obligatory. Because SPN conflicts with the dominant view that procreation is never obligatory, demonstrating that WPN collapses into or entails SPN establishes epistemic parity (at least as concerns reproductive liberty) between WPN and Anti-Natalism (AN), the view that procreation is always impermissible. First, I distinguish (...) between two moral goods: the good of procreation itself and the good of procreative potential. Second, I contend that the average moral agent is obligated to assist needy children via adoption, fostering, or other financial or interpersonal support. Third, I present the first collapsing argument: If an agent’s justification for not assisting needy children is preservation of their resources (financial or interpersonal) for their actual future offspring, that justification is preserved only if they eventually and actually procreate. Thus, their eventual procreation is morally obligatory, and SPN follows. Fourth, I present the second collapsing argument, which assumes procreative potential as the relevant good: If an agent’s justification for not assisting needy children is preservation of their resources for their potential future offspring, that justification holds only if (a) the objective or subjective valuation of the opportunity is of the relevant type and valence to justify not assisting needy children and (b) the agent sincerely values the opportunity. Fifth, I argue that (a) is unsatisfied and that while (b) is satisfied in most cases, it entails that most agents are obligated to desire or be behaviorally disposed to pursue procreation for themselves (i.e., SPN). Thus, I conclude that both actual procreation and procreative potential are either insufficient justifications for not assisting needy children or that they entail obligatory pro-reproductive attitudes or behaviors. (shrink)

Arguably, the original conception of epistemic justification comes from Descartes and Locke, who thought of justification deontologically. Moreover, their deontological conception was especially strict: there are no excuses for unjustified beliefs. Call this the “classical deontologist” conception of justification. As the original conception, we ought to accept it unless proven untenable. Nowadays, however, most have abandoned classical deontologism as precisely that—untenable. It stands accused of requiring doxastic voluntarism and normative transparency. My goal is to rescue classical deontologism from these accusations. (...) I show how, given a specific form of internalism coupled with a plausible theory of epistemic blame, we can be blameworthy for all of our (non-exempt) unjustified beliefs without transparency or voluntarism. The result is that the classical deontological conception of justification should regain its privileged status. (shrink)

I propose to study one problem for epistemic dependence on experts: how to locate experts on what I will call cognitive islands. Cognitive islands are those domains for knowledge in which expertise is required to evaluate other experts. They exist under two conditions: first, that there is no test for expertise available to the inexpert; and second, that the domain is not linked to another domain with such a test. Cognitive islands are the places where we have the fewest resources (...) for evaluating experts, which makes our expert dependences particularly risky. -/- Some have argued that cognitive islands lead to the complete unusability of expert testimony: that anybody who needs expert advice on a cognitive island will be entirely unable to find it. I argue against this radical form of pessimism, but propose a more moderate alternative. I demonstrate that we have some resources for finding experts on cognitive islands, but that cognitive islands leave us vulnerable to an epistemic trap which I will call runaway echo chambers. In a runaway echo chamber, our inexpertise may lead us to pick out bad experts, which will simply reinforce our mistaken beliefs and sensibilities. (shrink)

Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...) Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

A prominent argument for internalism appeals to the requirement that justified beliefs not be accidentally true from the subject’s perspective. Bergmann’s dilemma remains the most troublesome obstacle to those who defend internalism in this way. In a word, what is required for a belief to be non-accidental? If we require the subject to justifiably believe that one is aware of something counting in its favor, then a vicious regress results and one is never justified in believing anything. But we cannot (...) require less since beliefs can satisfy any lesser requirements and still be accidental. I argue here that phenomenal conservatism, which appeals to “seemings,” shows a way out of this dilemma. The key is that seemings, via their unique phenomenal character, make their content non-accidental for us simply by our being conscious of them and without our having to reflect on their significance. This is an important step in the larger project of re-envisioning traditional arguments for access internalism as supporting mentalism instead. (shrink)